
void TDD_Assert(char *cad, bool isTrue);

void PrintSummary(void);